guest kernels.
Signed-off-by: Keir Fraser <keir@xensource.com>
$(MAKE) -C tools install
install-kernels:
- for i in $(XKERNELS) ; do $(MAKE) $$i-build || exit 1; done
+ for i in $(XKERNELS) ; do $(MAKE) $$i-install || exit 1; done
install-docs:
sh ./docs/check_pkgs && $(MAKE) -C docs install || true
touch $@ # update timestamp to avoid rebuild
endif
-%-build:
+%-install:
$(MAKE) -f buildconfigs/mk.$* build
+%-dist: DESTDIR=$(DISTDIR)/install
+%-dist: %-install
+ @: # do nothing
+
+# Legacy dist target
+%-build: %-dist
+ @: # do nothing
+
%-delete:
$(MAKE) -f buildconfigs/mk.$* delete